Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
51	On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-10-14 11:24:50 Proof theory Logic Mathematical logic Mathematics Computability theory Primitive recursive functional Dialectica interpretation Combinatory logic Continuous function
52	Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2008-09-01 05:59:33 Mathematics Mathematical analysis Mathematical logic Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation First-order logic Limit of a function Peano axioms Spectral theory of ordinary differential equations
53	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:29 Computability theory Proof theory Mathematical logic Metalogic Reverse mathematics Primitive recursive functional Second-order arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Model theory Symbol
54	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator
55	Analytic equivalence relations with ℵ1 -many classes: A computability theoretic approach. Antonio Montalb´an U.C. Berkeley Logic Colloquium Add to Reading List Source URL: logic.berkeley.edu. Language: English - Date: 2015-09-11 13:43:57
56	Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:33:39 Computability theory Mathematics Mathematical logic Mathematical analysis Primitive recursive functional Symbol Continuous function Primitive recursive function operator Spectral theory of ordinary differential equations
57	I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-07-04 08:41:44 Logic Computability theory Mathematical logic Proof theory Mathematics Reverse mathematics Model theory
58	Fifth Internation Conference on Computability and Complexity in Analysis August 21-24, 2008, Hagen, Germany provisional programme Add to Reading List Source URL: cca-net.de Language: English - Date: 2008-08-19 05:08:00 Computability theory Computable function Computable analysis Recursively enumerable set Oracle machine Computability High Reduction Mathematical logic
59	ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:44 Software engineering Logic Declarative programming Models of computation Computability theory Lambda calculus Theoretical computer science Continuation-passing style Free variables and bound variables Substitution
60	Partial Orders and Immunity in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2016-04-14 09:51:48 Theoretical computer science Logic in computer science Mathematics Mathematical logic Combinatory logic Lambda calculus Unification Computability theory Differential forms on a Riemann surface Fredholm alternative